Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

État de New York And NotC. Hocquard

List of bibliographic references

Number of relevant bibliographic references: 107.
Ident.Authors (with country if any)Title
000106 Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne]Semi-intelligible Isar Proofs from Machine-Generated Proofs
000139 Deepak L. Bhatt [États-Unis] ; Marc P. Bonaca [États-Unis] ; Sameer Bansilal [États-Unis] ; Dominick J. Angiolillo [États-Unis] ; Marc Cohen [États-Unis] ; Robert F. Storey [Royaume-Uni] ; Kyungah Im [États-Unis] ; Sabina A. Murphy [États-Unis] ; Peter Held [Suède] ; Eugene Braunwald [États-Unis] ; Marc S. Sabatine [États-Unis] ; Ph Gabriel Steg [France]Reduction in Ischemic Events with Ticagrelor in Diabetic Patients: From the PEGASUS-TIMI 54 Trial.
001414 Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni]Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses
001469 Yu Deng [États-Unis] ; Liangzhao Zeng [États-Unis]The 1st International Workshop on Analytics Services on the Cloud (ASC 2012)
001526 Christopher Bouchard [États-Unis] ; Kimberly A. Gero [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis]On Forward Closure and the Finite Variant Property
001A47 Joerg Hoffmann [France] ; Bart Selman [États-Unis]Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12)
001D85 Sarah A. Milgrom [États-Unis] ; Karyn A. Goodman [États-Unis]The role of radiation therapy in the management of adrenal carcinoma and adrenal metastases
001D99 Jorge A. Carrasquillo [États-Unis] ; Neeta Pandit-Taskar [États-Unis] ; Clara C. Chen [États-Unis]Radionuclide therapy of adrenal tumors
001E11 Dipak S. Pisal [États-Unis] ; Matthew P. Kosloski [États-Unis] ; C. Russell Middaugh [États-Unis] ; Richard B. Bankert [États-Unis] ; Sathy V. Balu-Iyer [États-Unis]Native‐like aggregates of factor VIII are immunogenic in von Willebrand factor deficient and hemophilia a mice
001E17 Clara C. Chen [États-Unis] ; Jorge A. Carrasquillo [États-Unis]Molecular imaging of adrenal neoplasms
001E20 Kai A. Bickenbach [États-Unis] ; Vivian E. Strong [États-Unis]Laparoscopic transabdominal lateral adrenalectomy
001E62 Jennifer Lafemina [États-Unis] ; Murray F. Brennan [États-Unis]Adrenocortical carcinoma: Past, present, and future
001E65 Bradley B. Pua [États-Unis] ; Stephen B. Solomon [États-Unis]Ablative therapies in adrenal tumors: Primary and metastatic
002660 Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France]On Explicit Substitution with Names
002D13 Madhumita V. Joshi [Royaume-Uni, États-Unis] ; Stefan G. Mann [Royaume-Uni] ; Haike Antelmann [Royaume-Uni] ; David Widdick [Royaume-Uni] ; Joanna K. Fyans [Royaume-Uni] ; Govind Chandra [Royaume-Uni] ; Matthew I. Hutchings [Royaume-Uni] ; Ian Toth [Royaume-Uni] ; Michael Hecker [Royaume-Uni] ; Rosemary Loria [Royaume-Uni, États-Unis] ; Tracy Palmer [Royaume-Uni]The Tat pathway exports multiple virulence proteins in the plant pathogen Streptomyces scabies
003002 Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003058 Boris Aronov [États-Unis] ; Otfried Cheong [Corée du Sud, États-Unis] ; Xavier Goaoc [France] ; Günter Rote [Allemagne]Lines Pinning Lines
003772 Carmel Domshlak [Israël] ; Joerg Hoffmann [France] ; Ashish Sabharwal [États-Unis]Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings
003877 Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification Modulo Homomorphic Encryption
003917 Prithwiraj Maitra [États-Unis] ; Angelina Balina [États-Unis] ; Steven Carlo [États-Unis] ; John R. Glynn Jr. [États-Unis]Optical tools to assess naturalness of cosmetic films
004306 Manjiri Dighe [États-Unis] ; Carlos Cuevas [États-Unis] ; Mariam Moshiri [États-Unis] ; Theodore Dubinsky [États-Unis] ; Vikram S. Dogra [États-Unis]Sonography in first trimester bleeding
004B97 Stépphanie Delaune [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis]Protocol Verification Via Rigid/Flexible Resolution
004C35 H. Bronnimann [États-Unis] ; O. Devillers [France] ; S. Lazard [France] ; F. Sottile [États-Unis]Lines Tangent to Four Triangles in Three-Dimensional Space
004C66 Robert W. Flint Jr. [États-Unis] ; Michael D. Bunsey [États-Unis] ; David C. Riccio [États-Unis]Epinephrine‐induced enhancement of memory retrieval for inhibitory avoidance conditioning in preweanling Sprague–Dawley rats
004E18 Nancy Ide [États-Unis] ; Laurent Romary [France]Towards International Standards for Language Resources
005440 Keng-Yen Huang [États-Unis] ; Douglas M. Teti [États-Unis] ; Margaret O Rien Caughy [États-Unis] ; Stanley Feldstein [États-Unis] ; Janice Genevro [États-Unis]Mother-Child Conflict Interaction in the Toddler Years: Behavior Patterns and Correlates
006166 H. Brönnimann [États-Unis] ; H. Everett [France] ; S. Lazard [France] ; F. Sottile [États-Unis] ; S. Whitesides [Canada]Transversals to Line Segments in Three-Dimensional Space
006290 Chuck Liang [États-Unis] ; Gopalan Nadathur [États-Unis] ; Xiaochu Qi [États-Unis]Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts
006328 Calogero G. Zarba [France] ; Domenico Cantone [Italie] ; Jacob T. Schwartz [États-Unis]A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
006B21 Leigh F. Bacher [États-Unis] ; William P. Smotherman [États-Unis]Systematic temporal variation in the rate of spontaneous eye blinking in human infants
006B61 Carrie J. Shawber [États-Unis] ; Jan Kitajewski [États-Unis]Notch function in the vasculature: insights from zebrafish, mouse and man
006C33 Alexander Keller [États-Unis] ; Remi Badonnel [France]Automating the Provisioning of Application Services with the BPEL4WS Workflow Language
006D20 Ralph Benzinger [États-Unis]Automated higher-order complexity analysis
007210 Laurent Romary [France] ; Nancy Ide [États-Unis]Outline of the International Standard Linguistic Annotation Framework
007968 Stephen O. Duke [États-Unis] ; Scott R. Baerson [États-Unis] ; Franck E. Dayan [États-Unis] ; Agnes M. Rimando [États-Unis] ; Brian E. Scheffler [États-Unis] ; Mario R. Tellez [États-Unis] ; David E. Wedge [États-Unis] ; Kevin K. Schrader [États-Unis] ; David H. Akey [États-Unis] ; Frank H. Arthur [États-Unis] ; Anthony J. De Lucca [États-Unis] ; Donna M. Gibson [États-Unis] ; Howard F. Harrison Jr [États-Unis] ; Joseph K. Peterson [États-Unis] ; David R. Gealy [États-Unis] ; Thomas Tworkoski [États-Unis] ; Charles L. Wilson [États-Unis] ; J Brad Morris [États-Unis]United States Department of Agriculture–Agricultural Research Service research on natural products for pest management
007993 Zsuzsanna Doszta Nyi ; Csaba Magyar ; Ga Bor E. Tusna Dy ; Miklo S Cserzo [Hongrie] ; Andra S Fiser [États-Unis] ; Istva N Simon [Hongrie]Servers for sequence–structure relationship analysis and prediction
007A15 Daniel Abergel [France, États-Unis] ; Arthur G. Palmer Iii [États-Unis]On the use of the stochastic Liouville equation in nuclear magnetic resonance: Application to R1ρ relaxation in the presence of exchange
007A28 Eva K. Lee [États-Unis] ; Marco Zaider [États-Unis]Mixed Integer Programming Approaches to Treatment Planning for Brachytherapy – Application to Permanent Prostate Implants
007A84 Danny Z. Chen [États-Unis] ; Xiaobo Sharon Hu [États-Unis] ; Jinhui Xu [États-Unis]Computing Optimal Beams in Two and Three Dimensions
007B03 Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France]Abstract Congruence Closure
007E28 Nancy Ide [États-Unis] ; Laurent Romary [France]Encoding Syntactic Annotation
008722 Yifei Dong [États-Unis] ; Beata Sarna-Starosta [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; Scott A. Smolka [États-Unis]Vacuity Checking in the Modal Mu-Calculus*
008738 Atul Chhabra [États-Unis] ; Karl Tombre [France]Summary of Panel Discussions at GREC’2001
008777 Diane E. Bild ; David A. Bluemke ; Gregory L. Burke ; Robert Detrano ; Ana V. Diez Roux [États-Unis] ; Aaron R. Folsom ; Philip Greenland ; David R. Jacobsjr. ; Richard Kronmal [États-Unis] ; Kiang Liu ; Jennifer Clark Nelson [États-Unis] ; Daniel O Eary ; Mohammed F. Saad ; Steven Shea [États-Unis] ; Moyses Szklo ; Russell P. TracyMulti-Ethnic Study of Atherosclerosis: Objectives and Design
008799 Lutz Schröder [États-Unis] ; Till Mossakowski [États-Unis]HasCasl: Towards Integrated Specification and Development of Functional Programs
009295 Seraphin B. Calo [États-Unis] ; Gautam Kar [États-Unis]Report, edited by Paul Brusil: Services Management in Intelligent Networks—Report on DSOM 2000
009365 M. Vardelle [France] ; P. Fauchais [France] ; A. Vardelle [France] ; K. I. Li [France] ; B. Dussoubs [France] ; N. J. Themelis [États-Unis]Controlling particle injection in plasma spraying
009451 Nancy Ide [États-Unis] ; Laurent Romary [France]A common framework for syntactic annotation
009717 Nancy Ide [États-Unis] ; Laurent Romary [France]XML support for Annotated Language Resources
009784 Nancy Ide [États-Unis] ; Patrice Bonhomme [France] ; Laurent Romary [France]CES/XML : An XML-based Standard for Linguistic Corpora
009E14 Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]The Theory of Total Unary RPO Is Decidable
009E53 Danny Z. Chen [États-Unis] ; Xiaobo Hu [États-Unis] ; Jinhui Xu [États-Unis]Optimal Beam Penetrations in Two and Three Dimensions
009F13 L. Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] ; L. Vigneron [France]Congruence Closure Modulo Associativity and Commutativity
009F14 Gene D. Morse [États-Unis] ; Richard C. Reichman [États-Unis] ; Margaret A. Fischl [États-Unis] ; Michael Para [États-Unis] ; John Leedom [États-Unis] ; William Powderly [États-Unis] ; Lisa M. Demeter [États-Unis] ; Lionel Resnick [États-Unis] ; Yiannis Bassiakos [États-Unis] ; Joseph Timpone [États-Unis] ; Steve Cox [États-Unis] ; Donald Batts [États-Unis]Concentration-targeted phase I trials of atevirdine mesylate in patients with HIV infection: dosage requirements and pharmacokinetic studies
00A946 Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis]RPO Constraint Solving Is in NP
00A963 L. Bachmair [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis]Normalization via Rewrite Closures
00AA04 David B. Allison [États-Unis] ; S. Kathleen Egan [États-Unis] ; Leila M. Barraj [États-Unis] ; Clifford Caughman [États-Unis] ; Ming Infante [États-Unis] ; James T. Heimbach [États-Unis]Estimated Intakes of Trans Fatty and Other Fatty Acids in the US Population
00AA32 Chien H. Chen [États-Unis] ; Stephen J. Finch [États-Unis] ; Nancy R. Mendell [États-Unis] ; Derek Gordon [États-Unis]Comparison of empirical strategies to maximize GENEHUNTER lod scores
00AD87 Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]Marking-up multiple views of a Text: Discourse and Reference
00B312 Christopher Lynch [États-Unis]The unification problem for one relation Thue Systems
00B319 Reiner H Hnle [Allemagne] ; Neil V. Murray [États-Unis] ; Erik Rosenthal [États-Unis]Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion
00B385 Christopher Lynch [États-Unis] ; Christelle Scharff [France]Basic Completion with E-cycle Simplification
00B542 Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]Veins Theory: A Model of Global Discourse Cohesion and Coherence
00BC01 David T. Barnard [Canada] ; Nancy M. Ide [États-Unis]The text encoding initiative: Flexible and extensible document encoding
00BC20 M. R. K. Krishna Rao [Inde, Australie] ; D. Kapur [États-Unis] ; R. K. Shyamasundar [Inde]Proving termination of GHC programs
00BC47 Christopher Lynch [États-Unis]Goal-Directed Completion using SOUR Graphs
00BC82 Deepak Kapur [États-Unis] ; G. Sivakumar [Inde]A total, ground path ordering for proving termination of AC-rewrite systems
00C093 Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
00C112 J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas]A complete transformational toolkit for compilers
00C693 Nancy M. Ide [États-Unis] ; Michael Sperberg-McQueen [États-Unis]The TEI: History, goals, and future
00C707 R. Dicosmo [États-Unis]Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object
00C735 Deepak Kapur [États-Unis] ; G. Sivakumar [Inde]Maximal extensions of simplification orderings
00C758 Nancy Ide [États-Unis] ; Jean Véronis [France]Encoding dictionaries
00CD67 Susan D. Guild [États-Unis]A Comprehensive Fetal Monitoring Program for Nursing Practice and Education
00CD70 B. Fortier [France] ; J. Castex [France] ; J. L. Cohen [France, États-Unis] ; F. Loyer [France] ; J.-C. Depaule [France] ; A. Berque [France] ; O. Marcel [France] ; S. Ostrowetsky [France] ; F. Darve [France] ; J.-C. Paul [France] ; J.-P. Perrin [France] ; J.-C. Andre [France] ; S. Corbel [France] ; Y. Tsiomis [France] ; A. Leobon [France] ; J.-P. Peneau [France] ; R. Baudouï [France] ; B. Lassus [France] ; V. Biau [France] ; B. Haumont [France]Formes et paysages
00D192 Joseph E. Schwartz [États-Unis] ; Huixing Yuan [États-Unis] ; Nancy R. Mendell [États-Unis] ; Stephen J. Finch [États-Unis]LISREL modeling of high density lipoprotein cholesterol (HDL) levels in male twins
00D569 John Marshall Townsend [États-Unis]Measuring the magnitude of sex differences
00D579 Donn Byrne [États-Unis] ; Kathryn Kelley [États-Unis]Differential age preferences: The need to test evolutionary versus alternative conceptualizations
00D700 H. W. Moser [États-Unis] ; A. B. Moser [États-Unis] ; K. D. Smith [États-Unis] ; A. Bergin [États-Unis] ; J. Borel [États-Unis] ; J. Shankroff [États-Unis] ; O. C. Stine [États-Unis] ; C. Merette [États-Unis] ; J. Ott [États-Unis] ; W. Krivit [États-Unis] ; E. Shapiro [États-Unis]Adrenoleukodystrophy: Phenotypic variability and implications for therapy
00DA85 Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
00DE61 Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis]A new method for proving termination of AC-rewrite systems
00E076 Nancy M. Ide [États-Unis]A statistical measure of theme and structure
00E282 Alma Siflinger-Birnboim [États-Unis] ; Jeffrey A. Cooper [États-Unis] ; Peter J. Del Vecchio [États-Unis] ; Hazel Lum [États-Unis] ; Asrar B. Malik [États-Unis]Selectivity of the endothelial monolayer: Effects of increased permeability
00E324 J L. Lassez [États-Unis] ; M. J. Maher [États-Unis] ; K. Marriott [États-Unis, Australie]Unification revisited
00E339 Deepak Kapur [États-Unis] ; Hantao Zhang [États-Unis]Proving equivalence of different axiomatizations of free groups
00E357 Jean Gallier ; Paliath Narendran [États-Unis] ; David Plaisted ; Stan Raatz [États-Unis] ; Wayne SnyderFinding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time
00E359 Paliath Narendran [États-Unis] ; Friedrich Otto [États-Unis]Elements of finite order for finite weight-reducing and confluent thue systems
00E550 Edward J. Bottone [États-Unis] ; Ira F. Salkin [États-Unis] ; Nancy J. Hurd [États-Unis] ; Gary P. Wormser [États-Unis]Serogroup Distribution of Cryptococcus neoformans in Patients with AIDS
00E606 Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France]On word problems in equational theories
00E607 Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]On sufficient-completeness and related properties of term rewriting systems
00E782 Rong-Ine Ma [États-Unis] ; Neville R. Kallenbach [États-Unis] ; Richard D. Sheardy [États-Unis] ; Mary L. Petrillo [États-Unis] ; Nadrian C. Seeman [États-Unis]Three-arm nucleic acid junctions are flexible
00E803 John Karlof [États-Unis] ; Nancy Mendell [États-Unis]An evaluation of typing procedures for quantitative data: Results of a Monte Carlo study
00E830 Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]Proof by induction using test sets
00E849 James Michaelson [États-Unis] ; Edward A. Boyse [États-Unis] ; Lisa Ciccia [États-Unis] ; Lorraine Flaherty [États-Unis] ; Erwin Fleissner [États-Unis] ; Ellen Garnick [États-Unis] ; Ulrich H Mmerling [États-Unis] ; Mark Lawrence [États-Unis] ; Peter Mauch [États-Unis] ; Fung Win Shen [États-Unis]Biochemical genetics of TL antigens
00E860 Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France]A new method for establishing refutational completeness in theorem proving
00EA02 George Sperling [États-Unis] ; Michael Landy [États-Unis] ; Yoav Cohen [États-Unis] ; M. Pavel [États-Unis]Intelligible encoding of ASL image sequences at extremely low information rates
00EA36 Jieh Hsiang [États-Unis]Refutational theorem proving using term-rewriting systems
00EA61 D. Kapur [États-Unis] ; P. Narendran [États-Unis] ; G. Sivakumar [États-Unis]A path ordering for proving termination of term rewriting systems
00ED43 D. F. Merriam [États-Unis]Advances in automatic processing and mathematical models in geologie
00ED60 Nancy M. Flowers [États-Unis] ; Daniel R. Gross [États-Unis] ; Madeline L. Ritter [États-Unis] ; Dennis W. Werner [Brésil]Variation in Swidden practices in four central Brazilian Indian societies
00ED73 Frederick Jelinek [États-Unis]Self-Organized Continuous Speech Recognition
00EE71 Nancy K. Stanton [États-Unis]The heat equation for the $$\bar \partial - Neumann$$ problem in a strictly pseudoconvex Siegel domainproblem in a strictly pseudoconvex Siegel domain
00EE82 James W. Thatcher [États-Unis] ; Eric G. Wagner [États-Unis] ; Jesse B. Wright [États-Unis]More on advice on structuring compilers and proving them correct
00EE90 Henry T. Davis [États-Unis] ; Michael L. Feldstein [États-Unis]The generalized Pareto law as a model for progressively censored survival data
00EF11 Constantine Kaniklidis [États-Unis] ; Leslie Mezei ; Richard Kittredge [Canada] ; Albert C. E. Parker ; Hugh F. Cline [États-Unis] ; Frank H. Nuessel Jr. [États-Unis] ; James M. Beshers [États-Unis] ; G. A. Clark [États-Unis] ; John F. Hall [Royaume-Uni] ; Catherine Findler [États-Unis] ; Nathan A. Greenberg [États-Unis] ; T. J. Cartwright ; V. M. Du Feu ; Pauline Atherton [États-Unis] ; Gerd Althoff ; John Rothman ; Joseph Raben [États-Unis] ; Mimi PenchanskyBook reviews
00EF50 Zvi Galil [États-Unis]Some open problems in the theory of computation as questions about two-way deterministic pushdown automaton languages
00EF96 Robert W. Hartle [États-Unis] ; Stewart Umphrey [États-Unis] ; Susan Snow Lukesh [États-Unis] ; Larry J. Murphy ; K. Alber [Allemagne] ; Raoul N. Smith ; Robert D. Hume [États-Unis] ; Ben Ross Schneider [États-Unis]Reviews

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022